Advanced Information Systems Engineering by Unknown

Author:Unknown
Language: eng
Format: epub
ISBN: 9783030581350
Publisher: Springer International Publishing

Overall, the model synthesis process starts with the domain meta-model and its invariants. The meta-model is added an auxiliary mandatory class named Dummy. Then, the process uses the templates of Table 1 to generate the OCL constraints for each mutation operator in the provided Wodel program. These constraints are added as invariants of the Dummy class. Finally, the model finder is invoked with this enriched meta-model as input.

As an example, Listing 3 shows the OCL constraint generated from the program in Listing 1. As the retype operation considers three types, and or with three cases is generated.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.